[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 36 32 0 43 0 45 -1

N.S.

1 1.00 0.68 0.60 0.00 0.81 0.00 0.85 -0.02

time (sec)

N/A 0.018 0.026 3.797 0.000 0.390 0.000 0.513 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 26 24 0 29 0 24 -1

N.S.

1 1.00 0.76 0.71 0.00 0.85 0.00 0.71 -0.03

time (sec)

N/A 0.012 0.030 3.978 0.000 0.387 0.000 0.416 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 16 13 19 17 17 40

N.S.

1 1.00 1.00 1.14 0.93 1.36 1.21 1.21 2.86

time (sec)

N/A 0.006 0.005 2.300 0.504 0.404 0.108 0.450 13.638

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 30 49 26 70 0 15 -1

N.S.

1 1.00 1.76 2.88 1.53 4.12 0.00 0.88 -0.06

time (sec)

N/A 0.007 0.012 4.020 0.551 0.385 0.000 0.538 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 55 70 314 58 0 87 -1

N.S.

1 1.00 1.31 1.67 7.48 1.38 0.00 2.07 -0.02

time (sec)

N/A 0.014 0.063 6.583 0.565 0.381 0.000 0.568 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 77 89 931 78 0 126 -1

N.S.

1 1.00 1.26 1.46 15.26 1.28 0.00 2.07 -0.02

time (sec)

N/A 0.020 0.159 7.381 0.878 0.415 0.000 0.462 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 65 152 0 110 0 0 -1

N.S.

1 1.00 0.53 1.24 0.00 0.89 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.129 0.542 0.000 0.123 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 54 337 0 80 0 0 -1

N.S.

1 1.00 0.74 4.62 0.00 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.018 0.073 0.342 0.000 0.095 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 41 124 0 69 0 0 -1

N.S.

1 1.00 0.82 2.48 0.00 1.38 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.023 0.536 0.000 0.091 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 37 318 0 102 0 0 -1

N.S.

1 1.00 0.77 6.62 0.00 2.12 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.018 0.385 0.000 0.088 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 48 372 0 139 0 0 -1

N.S.

1 1.00 0.62 4.83 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.052 0.356 0.000 0.091 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 60 1349 0 209 0 0 -1

N.S.

1 1.00 0.49 10.97 0.00 1.70 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.159 0.345 0.000 0.099 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 53 63 85 82 0 57 -1

N.S.

1 1.00 0.40 0.48 0.64 0.62 0.00 0.43 -0.01

time (sec)

N/A 0.030 0.120 0.380 0.570 0.386 0.000 0.445 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 38 47 55 56 0 27 -1

N.S.

1 1.00 0.49 0.60 0.71 0.72 0.00 0.35 -0.01

time (sec)

N/A 0.018 0.076 0.231 0.513 0.383 0.000 0.421 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 25 33 22 36 0 15 -1

N.S.

1 1.00 0.69 0.92 0.61 1.00 0.00 0.42 -0.03

time (sec)

N/A 0.009 0.012 0.201 0.530 0.410 0.000 0.428 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 15 9 36 0 9 7

N.S.

1 1.00 1.00 0.94 0.56 2.25 0.00 0.56 0.44

time (sec)

N/A 0.009 0.005 0.170 0.589 0.389 0.000 0.519 13.712

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 34 29 23 74 0 0 44

N.S.

1 1.00 0.50 0.43 0.34 1.09 0.00 0.00 0.65

time (sec)

N/A 0.013 0.026 0.189 0.492 0.366 0.000 0.000 14.279

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 47 41 35 104 0 0 117

N.S.

1 1.00 0.40 0.35 0.30 0.88 0.00 0.00 0.99

time (sec)

N/A 0.020 0.044 0.236 0.506 0.375 0.000 0.000 16.558

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 74 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.121 0.120 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 72 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.080 0.086 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 68 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.049 0.103 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 72 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.050 0.096 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 71 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.073 0.085 0.000 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 73 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.071 0.079 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 71 0 0 14 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.18 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.040 0.089 0.000 0.432 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 61 0 0 17 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.22 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.052 0.217 0.000 0.408 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 67 0 0 26 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.35 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.053 0.239 0.000 0.387 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 65 0 0 27 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.35 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.060 0.325 0.000 0.396 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 0 0 16 58 384 36

N.S.

1 1.00 1.00 0.00 0.00 0.64 2.32 15.36 1.44

time (sec)

N/A 0.013 0.023 0.093 0.000 0.400 0.379 1.781 13.748

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 73 0 0 16 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.20 0.00 0.00 -0.01

time (sec)

N/A 0.026 0.036 0.099 0.000 0.410 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 18 17 12 15 17 11

N.S.

1 1.00 1.00 1.12 1.06 0.75 0.94 1.06 0.69

time (sec)

N/A 0.006 0.003 0.053 0.286 0.391 0.010 0.408 13.575

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 26 43 40 28 110 25 33

N.S.

1 1.00 0.79 1.30 1.21 0.85 3.33 0.76 1.00

time (sec)

N/A 0.017 0.004 0.109 0.311 0.393 0.140 0.438 13.762

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 34 72 69 37 233 34 42

N.S.

1 1.00 0.74 1.57 1.50 0.80 5.07 0.74 0.91

time (sec)

N/A 0.020 0.003 0.217 0.296 0.408 0.318 0.441 13.685

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 42 105 104 46 376 43 51

N.S.

1 1.00 0.71 1.78 1.76 0.78 6.37 0.73 0.86

time (sec)

N/A 0.026 0.003 0.226 0.298 0.386 0.707 0.440 13.694

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 58 45 50 46 314 149 54

N.S.

1 1.00 0.94 0.73 0.81 0.74 5.06 2.40 0.87

time (sec)

N/A 0.055 0.043 0.237 0.364 0.379 12.161 0.445 13.648

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 43 35 40 36 143 105 38

N.S.

1 1.00 0.93 0.76 0.87 0.78 3.11 2.28 0.83

time (sec)

N/A 0.054 0.030 0.205 0.321 0.389 4.722 0.465 0.057

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 25 23 27 25 36 29 25

N.S.

1 1.00 0.93 0.85 1.00 0.93 1.33 1.07 0.93

time (sec)

N/A 0.045 0.025 0.178 0.287 0.387 1.685 0.538 0.045

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 16 15 15 34 15 15

N.S.

1 1.00 1.00 1.23 1.15 1.15 2.62 1.15 1.15

time (sec)

N/A 0.024 0.011 0.115 0.296 0.380 0.630 0.457 13.601

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 46 39 46 55 0 62 31

N.S.

1 1.00 1.59 1.34 1.59 1.90 0.00 2.14 1.07

time (sec)

N/A 0.041 0.032 0.221 0.304 0.392 0.000 0.439 0.084

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 146 63 70 98 0 149 55

N.S.

1 1.00 2.52 1.09 1.21 1.69 0.00 2.57 0.95

time (sec)

N/A 0.064 0.185 0.280 0.287 0.428 0.000 0.498 0.088

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 132 87 90 135 0 181 74

N.S.

1 1.00 1.61 1.06 1.10 1.65 0.00 2.21 0.90

time (sec)

N/A 0.063 2.783 0.288 0.294 0.401 0.000 0.443 0.096

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 44 57 72 56 1161 63 68

N.S.

1 1.00 0.60 0.78 0.99 0.77 15.90 0.86 0.93

time (sec)

N/A 0.061 0.130 0.209 0.517 0.383 7.849 0.432 13.718

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 34 44 49 45 502 50 45

N.S.

1 1.00 0.69 0.90 1.00 0.92 10.24 1.02 0.92

time (sec)

N/A 0.054 0.095 0.180 0.514 0.385 2.885 0.439 13.532

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 27 24 26 34 100 26 20

N.S.

1 1.00 1.35 1.20 1.30 1.70 5.00 1.30 1.00

time (sec)

N/A 0.044 0.010 0.152 0.534 0.386 1.010 0.497 13.737

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 14 13 21 41 13 13

N.S.

1 1.00 1.00 1.08 1.00 1.62 3.15 1.00 1.00

time (sec)

N/A 0.015 0.006 0.158 0.318 0.388 0.473 0.465 13.595

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 16 25 28 36 0 19 17

N.S.

1 1.00 0.57 0.89 1.00 1.29 0.00 0.68 0.61

time (sec)

N/A 0.048 0.023 0.217 0.300 0.375 0.000 0.451 13.504

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 49 35 42 56 0 42 38

N.S.

1 1.00 1.07 0.76 0.91 1.22 0.00 0.91 0.83

time (sec)

N/A 0.054 0.035 0.244 0.321 0.383 0.000 0.442 13.727

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 70 45 52 77 0 52 50

N.S.

1 1.00 1.13 0.73 0.84 1.24 0.00 0.84 0.81

time (sec)

N/A 0.057 0.030 0.254 0.303 0.374 0.000 0.413 13.955

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 59 47 52 46 156 57 48

N.S.

1 1.00 0.91 0.72 0.80 0.71 2.40 0.88 0.74

time (sec)

N/A 0.058 0.038 0.155 0.285 0.399 29.632 0.454 13.643

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 42 37 41 38 156 106 36

N.S.

1 1.00 0.89 0.79 0.87 0.81 3.32 2.26 0.77

time (sec)

N/A 0.047 0.026 0.204 0.294 0.418 12.872 0.441 0.054

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 31 29 28 28 156 28 26

N.S.

1 1.00 0.94 0.88 0.85 0.85 4.73 0.85 0.79

time (sec)

N/A 0.044 0.025 0.204 0.304 0.395 4.584 0.412 13.557

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 16 16 156 16 16

N.S.

1 1.00 1.00 0.94 0.89 0.89 8.67 0.89 0.89

time (sec)

N/A 0.028 0.010 0.149 0.314 0.368 2.152 0.515 13.588

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 61 49 59 70 0 107 41

N.S.

1 1.00 1.30 1.04 1.26 1.49 0.00 2.28 0.87

time (sec)

N/A 0.044 0.033 0.254 0.297 0.386 0.000 0.429 0.088

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 208 75 86 118 0 175 70

N.S.

1 1.00 2.67 0.96 1.10 1.51 0.00 2.24 0.90

time (sec)

N/A 0.060 0.317 0.306 0.339 0.406 0.000 0.443 13.761

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 46 56 64 59 1275 68 66

N.S.

1 1.00 0.67 0.81 0.93 0.86 18.48 0.99 0.96

time (sec)

N/A 0.059 0.148 0.142 0.529 0.391 21.951 0.452 13.808

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 42 34 37 49 551 44 31

N.S.

1 1.00 1.11 0.89 0.97 1.29 14.50 1.16 0.82

time (sec)

N/A 0.041 0.012 0.198 0.521 0.392 8.061 0.438 13.479

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 16 32 94 16 16

N.S.

1 1.00 1.00 0.94 0.89 1.78 5.22 0.89 0.89

time (sec)

N/A 0.047 0.013 0.170 0.290 0.379 3.265 0.433 13.376

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 26 25 25 34 238 25 24

N.S.

1 1.00 0.81 0.78 0.78 1.06 7.44 0.78 0.75

time (sec)

N/A 0.019 0.029 0.159 0.307 0.371 1.328 0.512 13.455

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 50 37 40 46 0 48 36

N.S.

1 1.00 1.06 0.79 0.85 0.98 0.00 1.02 0.77

time (sec)

N/A 0.054 0.033 0.257 0.301 0.360 0.000 0.461 13.575

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 46 47 52 72 0 34 48

N.S.

1 1.00 0.71 0.72 0.80 1.11 0.00 0.52 0.74

time (sec)

N/A 0.058 0.021 0.302 0.312 0.370 0.000 0.449 13.682

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 31 20 22 25 362 22 21

N.S.

1 1.00 1.07 0.69 0.76 0.86 12.48 0.76 0.72

time (sec)

N/A 0.016 0.005 0.133 0.291 0.368 2.309 0.523 13.410

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 41 24 28 31 675 28 33

N.S.

1 1.00 1.11 0.65 0.76 0.84 18.24 0.76 0.89

time (sec)

N/A 0.018 0.005 0.175 0.300 0.384 7.549 0.483 13.408

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 51 32 34 37 1083 34 43

N.S.

1 1.00 1.00 0.63 0.67 0.73 21.24 0.67 0.84

time (sec)

N/A 0.020 0.005 0.095 0.317 0.372 22.905 0.426 13.345

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 77 54 43 43 107 67 44

N.S.

1 1.00 1.51 1.06 0.84 0.84 2.10 1.31 0.86

time (sec)

N/A 0.031 0.025 0.244 0.279 0.388 0.259 0.426 13.366

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 54 34 34 27 58 40 27

N.S.

1 1.00 1.74 1.10 1.10 0.87 1.87 1.29 0.87

time (sec)

N/A 0.015 0.017 0.180 0.303 0.385 0.107 0.567 13.313

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 63 33 38 42 0 58 23

N.S.

1 1.00 2.42 1.27 1.46 1.62 0.00 2.23 0.88

time (sec)

N/A 0.017 0.023 0.187 0.291 0.429 0.000 0.422 13.366

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 118 59 58 95 0 121 42

N.S.

1 1.00 2.95 1.48 1.45 2.38 0.00 3.02 1.05

time (sec)

N/A 0.021 0.032 0.253 0.295 0.398 0.000 0.441 13.388

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 70 86 104 69 258 68 92

N.S.

1 1.00 0.79 0.97 1.17 0.78 2.90 0.76 1.03

time (sec)

N/A 0.035 0.085 0.276 0.534 0.401 0.434 0.479 13.944

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 45 65 74 50 158 43 68

N.S.

1 1.00 0.74 1.07 1.21 0.82 2.59 0.70 1.11

time (sec)

N/A 0.029 0.074 0.220 0.536 0.401 0.184 0.462 13.545

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 33 32 29 29 51 25 27

N.S.

1 1.00 1.10 1.07 0.97 0.97 1.70 0.83 0.90

time (sec)

N/A 0.010 0.024 0.140 0.285 0.396 0.074 0.409 13.401

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 22 23 32 0 39 16

N.S.

1 1.00 1.00 1.38 1.44 2.00 0.00 2.44 1.00

time (sec)

N/A 0.016 0.013 0.198 0.514 0.376 0.000 0.482 13.357

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 49 35 28 54 0 37 29

N.S.

1 1.00 1.14 0.81 0.65 1.26 0.00 0.86 0.67

time (sec)

N/A 0.025 0.025 0.260 0.292 0.390 0.000 0.457 13.368

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 95 56 45 81 0 61 49

N.S.

1 1.00 1.46 0.86 0.69 1.25 0.00 0.94 0.75

time (sec)

N/A 0.029 0.026 0.286 0.297 0.358 0.000 0.583 13.383

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 17 17 16 15 17 15

N.S.

1 1.00 1.00 0.89 0.89 0.84 0.79 0.89 0.79

time (sec)

N/A 0.006 0.004 0.075 0.292 0.385 0.010 0.532 13.310

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 43 42 39 47 110 42 44

N.S.

1 1.00 0.86 0.84 0.78 0.94 2.20 0.84 0.88

time (sec)

N/A 0.011 0.042 0.192 0.292 0.385 0.143 0.409 13.521

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 80 73 71 81 246 76 118

N.S.

1 1.00 0.92 0.84 0.82 0.93 2.83 0.87 1.36

time (sec)

N/A 0.056 0.073 0.207 0.288 0.400 0.321 0.417 14.129

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 113 110 108 123 410 118 147

N.S.

1 1.00 0.81 0.79 0.77 0.88 2.93 0.84 1.05

time (sec)

N/A 0.109 0.110 0.273 0.290 0.399 0.716 0.455 13.632

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 180 110 116 272 0 332 112

N.S.

1 1.00 1.70 1.04 1.09 2.57 0.00 3.13 1.06

time (sec)

N/A 0.075 0.961 0.365 0.499 0.419 0.000 0.498 0.163

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 150 70 88 218 0 173 72

N.S.

1 1.00 1.95 0.91 1.14 2.83 0.00 2.25 0.94

time (sec)

N/A 0.059 0.337 0.273 0.502 0.409 0.000 0.445 0.110

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 125 45 67 165 0 57 44

N.S.

1 1.00 2.40 0.87 1.29 3.17 0.00 1.10 0.85

time (sec)

N/A 0.045 0.163 0.245 0.590 0.410 0.000 0.417 0.097

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 97 29 50 117 367693 37 29

N.S.

1 1.00 2.62 0.78 1.35 3.16 9937.65 1.00 0.78

time (sec)

N/A 0.027 0.094 0.171 0.544 0.410 86.312 0.440 0.087

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 143 62 83 161 0 100 457

N.S.

1 1.00 2.60 1.13 1.51 2.93 0.00 1.82 8.31

time (sec)

N/A 0.042 0.191 0.279 0.546 0.425 0.000 0.546 13.727

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 224 107 120 327 0 196 592

N.S.

1 1.00 2.64 1.26 1.41 3.85 0.00 2.31 6.96

time (sec)

N/A 0.076 1.462 0.369 0.545 0.416 0.000 0.432 13.914

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 657 168 181 612 0 334 1105

N.S.

1 1.00 5.26 1.34 1.45 4.90 0.00 2.67 8.84

time (sec)

N/A 0.125 6.239 0.399 0.526 0.444 0.000 0.439 13.928

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 133 168 192 453 0 233 2244

N.S.

1 1.00 0.82 1.03 1.18 2.78 0.00 1.43 13.77

time (sec)

N/A 0.234 0.819 0.274 0.526 0.454 0.000 0.450 15.319

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 95 118 128 372 0 157 1892

N.S.

1 1.00 0.81 1.01 1.09 3.18 0.00 1.34 16.17

time (sec)

N/A 0.141 0.324 0.296 0.537 0.466 0.000 0.475 14.820

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 69 81 78 305 0 114 481

N.S.

1 1.00 0.90 1.05 1.01 3.96 0.00 1.48 6.25

time (sec)

N/A 0.074 0.219 0.239 0.511 0.417 0.000 0.400 13.974

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 48 46 260 0 81 104

N.S.

1 1.00 1.00 1.04 1.00 5.65 0.00 1.76 2.26

time (sec)

N/A 0.048 0.108 0.213 0.565 0.427 0.000 0.422 13.481

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 36 30 29 236 16298 64 33

N.S.

1 1.00 1.00 0.83 0.81 6.56 452.72 1.78 0.92

time (sec)

N/A 0.017 0.062 0.217 0.546 0.406 14.551 0.467 13.527

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 50 48 313 0 83 45

N.S.

1 1.00 1.00 0.94 0.91 5.91 0.00 1.57 0.85

time (sec)

N/A 0.048 0.217 0.305 0.542 0.421 0.000 0.534 13.475

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 119 69 69 451 0 111 68

N.S.

1 1.00 1.55 0.90 0.90 5.86 0.00 1.44 0.88

time (sec)

N/A 0.072 0.473 0.326 0.526 0.432 0.000 0.462 13.431

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 147 96 98 595 0 155 95

N.S.

1 1.00 1.35 0.88 0.90 5.46 0.00 1.42 0.87

time (sec)

N/A 0.083 1.020 0.358 0.528 0.439 0.000 0.479 13.798

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 137 130 137 789 0 215 130

N.S.

1 1.00 0.98 0.93 0.98 5.64 0.00 1.54 0.93

time (sec)

N/A 0.101 1.128 0.357 0.547 0.452 0.000 0.441 15.074

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 194 116 154 529 0 322 123

N.S.

1 1.00 1.52 0.91 1.20 4.13 0.00 2.52 0.96

time (sec)

N/A 0.125 1.065 0.310 0.512 0.449 0.000 0.552 0.217

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 172 90 131 427 0 342 95

N.S.

1 1.00 1.69 0.88 1.28 4.19 0.00 3.35 0.93

time (sec)

N/A 0.098 0.622 0.385 0.565 0.451 0.000 0.442 0.164

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 160 77 111 327 0 93 71

N.S.

1 1.00 1.93 0.93 1.34 3.94 0.00 1.12 0.86

time (sec)

N/A 0.060 0.319 0.307 0.534 0.421 0.000 0.456 13.490

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 149 65 98 282 0 79 62

N.S.

1 1.00 2.01 0.88 1.32 3.81 0.00 1.07 0.84

time (sec)

N/A 0.035 0.215 0.234 0.535 0.423 0.000 0.433 0.105

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 194 107 149 455 0 246 2039

N.S.

1 1.00 1.88 1.04 1.45 4.42 0.00 2.39 19.80

time (sec)

N/A 0.082 0.538 0.412 0.503 0.456 0.000 0.490 14.631

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 390 152 223 838 0 512 2338

N.S.

1 1.00 2.55 0.99 1.46 5.48 0.00 3.35 15.28

time (sec)

N/A 0.154 1.094 0.480 0.508 0.516 0.000 0.456 14.946

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 106 134 181 623 0 223 2295

N.S.

1 1.00 0.72 0.91 1.22 4.21 0.00 1.51 15.51

time (sec)

N/A 0.182 1.038 0.308 0.560 0.424 0.000 0.465 16.064

[next] [front] [up]